成都信息工程大学学报
过刊查询页面
关键词中包括
algorithm verification
的文章